fun call f arg = print ((Word16.toString (f arg) handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callS f arg = print ((f arg handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun bin (x, y) = ( print (Word16.toString x ^ " + " ^ Word16.toString y ^ " = ")
                 ; call Word16.+ (x, y)
                 ; print (Word16.toString x ^ " - " ^ Word16.toString y ^ " = ")
                 ; call Word16.- (x, y)
                 ; print (Word16.toString x ^ " * " ^ Word16.toString y ^ " = ")
                 ; call Word16.* (x, y)
                 ; print (Word16.toString x ^ " div " ^ Word16.toString y ^ " = ")
                 ; call Word16.div (x, y)
                 ; print (Word16.toString x ^ " mod " ^ Word16.toString y ^ " = ")
                 ; call Word16.mod (x, y)
                 ; print (Word16.toString x ^ " andb " ^ Word16.toString y ^ " = ")
                 ; call Word16.andb (x, y)
                 ; print (Word16.toString x ^ " orb " ^ Word16.toString y ^ " = ")
                 ; call Word16.orb (x, y)
                 ; print (Word16.toString x ^ " xorb " ^ Word16.toString y ^ " = ")
                 ; call Word16.xorb (x, y)
                 );
fun un x = ( print ("~ " ^ Word16.toString x ^ " = ")
           ; call Word16.~ x
           ; print ("notb " ^ Word16.toString x ^ " = ")
           ; call Word16.notb x
           ; print (Word16.toString x ^ " << 0w0 = ")
           ; call (fn x => Word16.<< (x, 0w0)) x
           ; print (Word16.toString x ^ " << 0w2 = ")
           ; call (fn x => Word16.<< (x, 0w2)) x
           ; print (Word16.toString x ^ " << 0w10 = ")
           ; call (fn x => Word16.<< (x, 0w10)) x
           ; print (Word16.toString x ^ " << 0w20 = ")
           ; call (fn x => Word16.<< (x, 0w20)) x
           ; print (Word16.toString x ^ " << 0w31 = ")
           ; call (fn x => Word16.<< (x, 0w31)) x
           ; print (Word16.toString x ^ " << 0w63 = ")
           ; call (fn x => Word16.<< (x, 0w63)) x
           ; print (Word16.toString x ^ " << 0w64 = ")
           ; call (fn x => Word16.<< (x, 0w64)) x
           ; print (Word16.toString x ^ " << 0w65 = ")
           ; call (fn x => Word16.<< (x, 0w65)) x
           ; print (Word16.toString x ^ " >> 0w0 = ")
           ; call (fn x => Word16.>> (x, 0w0)) x
           ; print (Word16.toString x ^ " >> 0w2 = ")
           ; call (fn x => Word16.>> (x, 0w2)) x
           ; print (Word16.toString x ^ " >> 0w10 = ")
           ; call (fn x => Word16.>> (x, 0w10)) x
           ; print (Word16.toString x ^ " >> 0w20 = ")
           ; call (fn x => Word16.>> (x, 0w20)) x
           ; print (Word16.toString x ^ " >> 0w31 = ")
           ; call (fn x => Word16.>> (x, 0w31)) x
           ; print (Word16.toString x ^ " >> 0w63 = ")
           ; call (fn x => Word16.>> (x, 0w63)) x
           ; print (Word16.toString x ^ " >> 0w64 = ")
           ; call (fn x => Word16.>> (x, 0w64)) x
           ; print (Word16.toString x ^ " >> 0w65 = ")
           ; call (fn x => Word16.>> (x, 0w65)) x
           ; print (Word16.toString x ^ " ~>> 0w0 = ")
           ; call (fn x => Word16.~>> (x, 0w0)) x
           ; print (Word16.toString x ^ " ~>> 0w2 = ")
           ; call (fn x => Word16.~>> (x, 0w2)) x
           ; print (Word16.toString x ^ " ~>> 0w10 = ")
           ; call (fn x => Word16.~>> (x, 0w10)) x
           ; print (Word16.toString x ^ " ~>> 0w20 = ")
           ; call (fn x => Word16.~>> (x, 0w20)) x
           ; print (Word16.toString x ^ " ~>> 0w31 = ")
           ; call (fn x => Word16.~>> (x, 0w31)) x
           ; print (Word16.toString x ^ " ~>> 0w63 = ")
           ; call (fn x => Word16.~>> (x, 0w63)) x
           ; print (Word16.toString x ^ " ~>> 0w64 = ")
           ; call (fn x => Word16.~>> (x, 0w64)) x
           ; print (Word16.toString x ^ " ~>> 0w65 = ")
           ; call (fn x => Word16.~>> (x, 0w65)) x
           (* ; print ("fmt BIN " ^ Word16.toString x ^ " = ")
           ; callS (Word16.fmt StringCvt.BIN) x ... not implemented yet *)
           ; print ("fmt OCT " ^ Word16.toString x ^ " = ")
           ; callS (Word16.fmt StringCvt.OCT) x
           ; print ("fmt DEC " ^ Word16.toString x ^ " = ")
           ; callS (Word16.fmt StringCvt.DEC) x
           ; print ("fmt HEX " ^ Word16.toString x ^ " = ")
           ; callS (Word16.fmt StringCvt.HEX) x
           );
List.app un
[0w0
,0w1
,0w2
,0w3
,0w78
,0w65534
,0w65535
,0w57904
,0w49815
,0w24671
,0w64271
,0w208
,0w30162
,0w24465
,0w7703
,0w45707
,0w59487
,0w19956
,0w306
,0w31419
,0w45957
,0w51598
,0w48937
,0w28408
,0w62046
,0w40284
,0w56923
,0w17645
,0w26751
,0w33858
,0w2569
,0w35147
,0w49819
,0w4218
,0w21016
,0w56977
,0w46304
,0w30026
,0w34978
,0w33506
,0w50923
,0w60959
,0w32680
,0w13275
,0w43554
,0w9682
,0w46781
,0w15432
,0w17003
,0w60400
,0w23933
,0w40598
,0w25528
,0w28535
,0w42399
,0w12277
,0w57382
];
List.app bin
[(0w0,0w0)
,(0w0,0w1)
,(0w0,0w2)
,(0w0,0w3)
,(0w0,0w99)
,(0w0,0w65534)
,(0w0,0w65535)
,(0w1,0w0)
,(0w1,0w1)
,(0w1,0w2)
,(0w1,0w3)
,(0w1,0w99)
,(0w1,0w65534)
,(0w1,0w65535)
,(0w2,0w0)
,(0w2,0w1)
,(0w2,0w2)
,(0w2,0w3)
,(0w2,0w99)
,(0w2,0w65534)
,(0w2,0w65535)
,(0w3,0w0)
,(0w3,0w1)
,(0w3,0w2)
,(0w3,0w3)
,(0w3,0w99)
,(0w3,0w65534)
,(0w3,0w65535)
,(0w78,0w0)
,(0w78,0w1)
,(0w78,0w2)
,(0w78,0w3)
,(0w78,0w99)
,(0w78,0w65534)
,(0w78,0w65535)
,(0w65534,0w0)
,(0w65534,0w1)
,(0w65534,0w2)
,(0w65534,0w3)
,(0w65534,0w99)
,(0w65534,0w65534)
,(0w65534,0w65535)
,(0w65535,0w0)
,(0w65535,0w1)
,(0w65535,0w2)
,(0w65535,0w3)
,(0w65535,0w99)
,(0w65535,0w65534)
,(0w65535,0w65535)
,(0w52366,0w25347)
,(0w11361,0w17494)
,(0w26960,0w63666)
,(0w19675,0w52557)
,(0w25921,0w9163)
,(0w46758,0w28218)
,(0w28803,0w54522)
,(0w53691,0w24199)
,(0w24196,0w361)
,(0w55837,0w8684)
,(0w23266,0w20749)
,(0w58860,0w31390)
,(0w4572,0w45083)
,(0w19127,0w3257)
,(0w19730,0w5568)
,(0w39619,0w14280)
,(0w50476,0w52508)
,(0w61026,0w58153)
,(0w29253,0w35699)
,(0w13714,0w26546)
,(0w58813,0w46888)
,(0w51539,0w37849)
,(0w53165,0w34287)
,(0w64648,0w64594)
,(0w40399,0w598)
,(0w40463,0w8510)
,(0w24014,0w56708)
,(0w36397,0w45162)
,(0w47152,0w6266)
,(0w42993,0w63223)
,(0w53938,0w9310)
,(0w62766,0w56459)
,(0w17281,0w11059)
,(0w16745,0w14655)
,(0w22839,0w47)
,(0w4183,0w34208)
,(0w59521,0w12465)
,(0w6369,0w8108)
,(0w36699,0w34933)
,(0w37856,0w21164)
,(0w17409,0w43838)
,(0w14250,0w39476)
,(0w52995,0w12606)
,(0w49030,0w58759)
,(0w61031,0w60249)
,(0w29606,0w57253)
,(0w32540,0w43951)
,(0w63983,0w55499)
,(0w15480,0w37827)
,(0w12413,0w36952)
,(0w4124,0w3531)
,(0w8660,0w5357)
,(0w5455,0w30522)
,(0w24721,0w49443)
,(0w54315,0w17617)
,(0w17989,0w54754)
,(0w8759,0w30973)
,(0w24722,0w12953)
,(0w13074,0w37330)
,(0w44310,0w35289)
,(0w63480,0w249)
,(0w26987,0w53705)
,(0w20720,0w2972)
,(0w55116,0w60764)
,(0w39347,0w64803)
,(0w15040,0w35069)
,(0w57630,0w29449)
,(0w62090,0w9540)
,(0w64877,0w44234)
,(0w55419,0w65471)
,(0w13141,0w17945)
,(0w64975,0w23084)
,(0w37841,0w54993)
,(0w12411,0w43939)
,(0w51414,0w39007)
,(0w23233,0w17382)
,(0w60917,0w41784)
,(0w31978,0w53076)
,(0w35055,0w34705)
,(0w35388,0w38919)
,(0w8783,0w59951)
,(0w15398,0w64155)
,(0w40195,0w17802)
,(0w9432,0w31350)
,(0w35811,0w32382)
,(0w48126,0w17039)
,(0w35981,0w41051)
,(0w60836,0w21784)
,(0w53408,0w34347)
,(0w53966,0w61799)
,(0w37686,0w23263)
,(0w28806,0w31135)
,(0w13363,0w59136)
,(0w57101,0w60266)
,(0w42838,0w46411)
,(0w45950,0w55534)
,(0w64909,0w30583)
,(0w22169,0w35749)
,(0w35849,0w64001)
,(0w31578,0w40681)
,(0w64728,0w12033)
,(0w27698,0w38058)
,(0w12083,0w44111)
,(0w28707,0w29581)
,(0w31570,0w50671)
,(0w59770,0w55486)
,(0w3037,0w20187)
,(0w45287,0w16969)
,(0w6490,0w19780)
,(0w2529,0w48139)
,(0w59990,0w32990)
,(0w30343,0w48373)
,(0w34306,0w44449)
,(0w33187,0w16050)
,(0w10603,0w13173)
,(0w13981,0w12394)
,(0w29843,0w22059)
,(0w39608,0w17421)
,(0w7925,0w36257)
,(0w9697,0w828)
,(0w34615,0w24172)
,(0w30680,0w59532)
,(0w8064,0w19468)
,(0w31932,0w28432)
,(0w43170,0w16309)
,(0w21582,0w64419)
,(0w46660,0w30596)
,(0w9252,0w30764)
,(0w12818,0w9850)
,(0w30061,0w6142)
,(0w52713,0w36386)
,(0w18948,0w20135)
,(0w47655,0w28460)
,(0w24898,0w45621)
,(0w3902,0w61776)
,(0w61193,0w37965)
,(0w390,0w52844)
,(0w6281,0w54177)
,(0w59023,0w40155)
,(0w38616,0w54684)
,(0w28687,0w61405)
,(0w23887,0w30630)
,(0w34497,0w64602)
,(0w12001,0w42144)
,(0w20906,0w53758)
,(0w21294,0w37271)
,(0w20354,0w55051)
,(0w26107,0w3312)
,(0w58242,0w29148)
,(0w63857,0w50580)
,(0w34794,0w26985)
,(0w14065,0w14547)
,(0w17340,0w33556)
,(0w9397,0w61527)
,(0w22990,0w60949)
,(0w25583,0w49311)
,(0w42406,0w21911)
,(0w12360,0w8954)
,(0w36888,0w7726)
,(0w64512,0w12190)
,(0w11381,0w33737)
,(0w2672,0w54094)
,(0w7238,0w8597)
,(0w35376,0w29911)
,(0w36262,0w45198)
,(0w36361,0w32455)
,(0w45672,0w27794)
,(0w16220,0w26833)
,(0w26720,0w22041)
,(0w582,0w27329)
,(0w43310,0w64252)
,(0w45880,0w7820)
,(0w3709,0w44859)
,(0w58388,0w14088)
,(0w36757,0w28383)
,(0w27237,0w6378)
,(0w15802,0w5023)
,(0w53960,0w36603)
,(0w65047,0w41662)
,(0w16259,0w9487)
,(0w23293,0w23522)
,(0w6870,0w57974)
,(0w52964,0w50724)
,(0w59851,0w9060)
,(0w25329,0w16966)
,(0w15277,0w65237)
,(0w52773,0w36599)
,(0w10903,0w49762)
,(0w58731,0w26113)
,(0w3357,0w51254)
,(0w58905,0w36092)
,(0w37707,0w19518)
,(0w53098,0w13112)
,(0w63469,0w31064)
,(0w30427,0w30667)
,(0w34666,0w29269)
,(0w21741,0w41043)
,(0w33769,0w1946)
,(0w24474,0w47515)
,(0w20104,0w61911)
,(0w45212,0w56093)
,(0w34005,0w27205)
,(0w59291,0w13353)
,(0w36949,0w4109)
,(0w4548,0w16260)
,(0w55718,0w44085)
,(0w21318,0w7608)
,(0w30588,0w49171)
,(0w4814,0w4187)
,(0w43050,0w49002)
,(0w26690,0w54401)
,(0w56192,0w32189)
,(0w16836,0w26554)
,(0w41679,0w9234)
,(0w15612,0w33913)
,(0w50790,0w39670)
,(0w58619,0w60643)
,(0w40541,0w47872)
,(0w11546,0w12133)
,(0w11038,0w58937)
,(0w45286,0w23556)
,(0w63682,0w15406)
,(0w61525,0w21184)
,(0w16571,0w64790)
,(0w26737,0w64508)
,(0w46113,0w4155)
,(0w22652,0w22506)
,(0w45596,0w34975)
,(0w47507,0w26511)
,(0w61846,0w7699)
,(0w12952,0w40530)
,(0w41626,0w8522)
,(0w60299,0w7656)
,(0w62496,0w3773)
,(0w54724,0w40795)
,(0w21678,0w64213)
,(0w37382,0w37835)
,(0w61916,0w54231)
,(0w35690,0w60468)
,(0w8174,0w31367)
,(0w1138,0w41568)
,(0w35809,0w52439)
,(0w13829,0w49485)
,(0w38705,0w8941)
,(0w54783,0w21642)
,(0w56080,0w26739)
,(0w55746,0w29173)
,(0w62360,0w12611)
,(0w19221,0w45428)
,(0w54393,0w15257)
,(0w60341,0w3924)
,(0w64088,0w31874)
,(0w40405,0w7897)
,(0w35827,0w49379)
,(0w57569,0w64336)
,(0w15743,0w44982)
,(0w51156,0w37114)
,(0w35003,0w64241)
,(0w55071,0w5327)
,(0w30776,0w33406)
,(0w37438,0w35285)
,(0w60388,0w5573)
,(0w48600,0w57682)
,(0w33318,0w8643)
,(0w50253,0w17877)
,(0w44337,0w63139)
,(0w13871,0w21418)
,(0w59574,0w22857)
,(0w4097,0w16996)
,(0w7619,0w46450)
,(0w34754,0w50494)
,(0w36188,0w56383)
,(0w22767,0w62831)
,(0w7631,0w43899)
,(0w28305,0w42068)
,(0w1789,0w41792)
,(0w50378,0w57584)
,(0w23906,0w9131)
,(0w16943,0w56941)
,(0w36132,0w12159)
,(0w41264,0w27476)
,(0w41660,0w25408)
,(0w2106,0w20938)
,(0w54224,0w17551)
,(0w51475,0w1521)
,(0w48323,0w25596)
,(0w21613,0w65366)
,(0w54645,0w56047)
,(0w52363,0w36180)
,(0w56959,0w9947)
,(0w20558,0w21511)
,(0w42336,0w39968)
,(0w18909,0w8192)
,(0w24486,0w62682)
,(0w41853,0w5199)
,(0w7419,0w62084)
,(0w41639,0w31264)
,(0w46230,0w20870)
,(0w19477,0w41789)
,(0w29562,0w50360)
,(0w42399,0w35208)
,(0w39747,0w228)
,(0w41333,0w54606)
,(0w47621,0w45276)
,(0w39462,0w655)
,(0w49362,0w47465)
,(0w2022,0w30832)
,(0w52458,0w59759)
,(0w28399,0w14649)
,(0w44669,0w5085)
,(0w64270,0w30072)
,(0w42867,0w44903)
,(0w22673,0w52997)
,(0w37043,0w35621)
,(0w41355,0w4663)
,(0w59844,0w12423)
,(0w30055,0w57370)
,(0w45458,0w33493)
,(0w40928,0w38982)
,(0w29346,0w1068)
,(0w13123,0w28120)
,(0w19149,0w33469)
,(0w49033,0w18088)
,(0w20911,0w10308)
,(0w35035,0w15028)
,(0w61337,0w58545)
,(0w32269,0w27117)
,(0w18239,0w55674)
,(0w34601,0w32935)
,(0w26043,0w14353)
,(0w26059,0w24175)
,(0w18723,0w48627)
,(0w49469,0w29610)
,(0w11612,0w22920)
,(0w4366,0w14002)
,(0w52338,0w21406)
,(0w57782,0w65085)
,(0w19668,0w29129)
,(0w53066,0w41948)
,(0w47101,0w46124)
,(0w60763,0w35935)
,(0w15457,0w44579)
,(0w4508,0w2172)
,(0w6977,0w42936)
,(0w28350,0w56452)
,(0w59238,0w53423)
,(0w6440,0w45038)
,(0w52895,0w53322)
,(0w22806,0w13424)
,(0w53531,0w20032)
,(0w584,0w9510)
,(0w8869,0w56352)
,(0w44520,0w48062)
,(0w33326,0w37191)
,(0w57507,0w405)
,(0w54417,0w28353)
,(0w64708,0w38054)
,(0w65257,0w57974)
,(0w64496,0w2137)
,(0w12563,0w34993)
,(0w7621,0w5081)
,(0w21821,0w57429)
,(0w18610,0w7876)
,(0w1440,0w12281)
,(0w51265,0w60313)
,(0w12589,0w13139)
,(0w34399,0w39429)
,(0w4365,0w12250)
,(0w39861,0w9082)
,(0w32888,0w28211)
,(0w46523,0w21092)
,(0w11173,0w25744)
,(0w8590,0w28325)
,(0w43324,0w64615)
,(0w29505,0w51177)
,(0w63516,0w2519)
,(0w53528,0w15516)
,(0w32037,0w20430)
,(0w62421,0w9271)
,(0w61842,0w9951)
,(0w37367,0w23371)
,(0w37949,0w65199)
,(0w25954,0w30613)
,(0w9968,0w8925)
,(0w21905,0w43293)
,(0w56416,0w8585)
,(0w50166,0w2358)
,(0w58814,0w49204)
,(0w34103,0w52028)
,(0w57281,0w25585)
,(0w43737,0w17459)
,(0w59453,0w56919)
,(0w1269,0w18395)
,(0w49168,0w5872)
,(0w50608,0w28311)
,(0w35640,0w57447)
,(0w56256,0w2095)
,(0w60067,0w42890)
,(0w47139,0w15295)
,(0w45498,0w24728)
,(0w38278,0w40138)
,(0w63350,0w14107)
,(0w30175,0w30855)
,(0w7630,0w9795)
,(0w31689,0w33253)
,(0w17574,0w7223)
,(0w38869,0w19404)
,(0w29539,0w21788)
,(0w30426,0w40844)
,(0w50491,0w51627)
,(0w60237,0w29855)
,(0w19056,0w26156)
,(0w1688,0w46773)
,(0w37646,0w20224)
,(0w17368,0w18879)
,(0w47266,0w59586)
,(0w29015,0w28634)
,(0w58907,0w46855)
,(0w53353,0w38676)
,(0w26248,0w46998)
,(0w38191,0w30505)
,(0w8079,0w24363)
,(0w57851,0w1476)
,(0w24653,0w13683)
,(0w15578,0w39668)
,(0w45876,0w13811)
,(0w46481,0w40088)
,(0w59623,0w9299)
,(0w35746,0w41548)
,(0w56666,0w43923)
,(0w46197,0w21270)
,(0w45292,0w34836)
,(0w54546,0w53358)
,(0w35795,0w37211)
,(0w60534,0w40156)
,(0w59462,0w46879)
,(0w50724,0w41094)
,(0w63908,0w36808)
,(0w16348,0w15289)
,(0w3451,0w32885)
,(0w5742,0w51483)
,(0w45734,0w53666)
,(0w22973,0w31712)
,(0w36909,0w53694)
,(0w24968,0w26748)
,(0w65170,0w1536)
,(0w9315,0w12948)
,(0w56199,0w57194)
,(0w61052,0w55161)
,(0w6407,0w168)
,(0w29346,0w59258)
,(0w29426,0w13558)
,(0w32476,0w44821)
,(0w34890,0w32384)
,(0w1789,0w47040)
,(0w53873,0w55844)
,(0w15760,0w12626)
,(0w6437,0w34462)
,(0w42513,0w12049)
,(0w56417,0w30710)
,(0w36930,0w51489)
,(0w53255,0w59678)
,(0w4966,0w44863)
,(0w54165,0w48994)
,(0w11341,0w59200)
,(0w65059,0w48788)
,(0w62508,0w28877)
,(0w23284,0w47845)
,(0w2732,0w27981)
,(0w277,0w29300)
,(0w61677,0w52030)
,(0w41045,0w30545)
,(0w11960,0w14917)
,(0w30652,0w39092)
,(0w30559,0w15650)
,(0w37018,0w17685)
,(0w37924,0w46097)
,(0w49927,0w59173)
,(0w51744,0w5357)
,(0w44000,0w23574)
,(0w65180,0w27861)
,(0w54410,0w4163)
,(0w2176,0w6572)
,(0w62144,0w52071)
,(0w49063,0w55888)
,(0w24857,0w34962)
,(0w22543,0w19588)
,(0w41355,0w4970)
,(0w29261,0w63771)
,(0w7540,0w58402)
,(0w1167,0w25603)
,(0w11598,0w27828)
,(0w8483,0w24691)
,(0w25192,0w53829)
,(0w182,0w9589)
,(0w7740,0w63600)
,(0w2691,0w56735)
,(0w54484,0w13907)
,(0w48344,0w37438)
,(0w19805,0w53366)
,(0w42518,0w5444)
,(0w60198,0w23591)
,(0w36945,0w48071)
,(0w40756,0w30703)
,(0w57153,0w31708)
,(0w42447,0w13262)
,(0w48665,0w32214)
,(0w38887,0w63922)
,(0w27854,0w64916)
,(0w8650,0w36367)
,(0w52077,0w22717)
,(0w61506,0w19943)
,(0w7531,0w30791)
,(0w30682,0w5194)
,(0w43725,0w65325)
,(0w22446,0w3897)
,(0w38225,0w38797)
,(0w24848,0w62333)
,(0w62277,0w59798)
,(0w50488,0w12081)
,(0w60154,0w49189)
,(0w18771,0w17219)
,(0w56259,0w24832)
,(0w23175,0w30076)
,(0w46927,0w23949)
,(0w59827,0w8791)
,(0w16986,0w18134)
,(0w23614,0w10061)
,(0w48364,0w18895)
,(0w29612,0w2966)
,(0w24961,0w49995)
,(0w248,0w13954)
,(0w36965,0w23592)
,(0w6372,0w32850)
,(0w49606,0w52247)
,(0w21329,0w60007)
,(0w47269,0w15909)
,(0w22073,0w46994)
,(0w33558,0w49535)
,(0w64786,0w27050)
,(0w17341,0w51222)
,(0w23583,0w51515)
,(0w25544,0w17080)
,(0w20702,0w64935)
,(0w60956,0w64695)
,(0w60548,0w53527)
,(0w3181,0w51439)
,(0w3695,0w5512)
,(0w34091,0w65361)
,(0w47583,0w31303)
,(0w31842,0w19108)
,(0w4392,0w16353)
,(0w29236,0w37731)
,(0w34955,0w61739)
,(0w56446,0w4122)
,(0w41906,0w49555)
,(0w50730,0w52803)
,(0w63955,0w45872)
,(0w43858,0w43166)
,(0w20814,0w1072)
,(0w15510,0w22920)
,(0w25111,0w6416)
,(0w17223,0w49605)
,(0w19102,0w43958)
,(0w41750,0w59109)
,(0w44320,0w53476)
,(0w30431,0w42385)
,(0w25039,0w26499)
,(0w28360,0w30299)
,(0w10010,0w65024)
,(0w4205,0w10024)
,(0w24063,0w54460)
,(0w29147,0w60520)
,(0w15667,0w48010)
,(0w15111,0w11220)
,(0w23934,0w21642)
,(0w21519,0w19375)
,(0w52501,0w37335)
,(0w43722,0w57644)
,(0w2558,0w43431)
,(0w56559,0w43995)
,(0w44114,0w42053)
,(0w31777,0w47052)
,(0w50694,0w40120)
,(0w2796,0w43580)
,(0w49595,0w27706)
,(0w4778,0w27324)
,(0w63860,0w57809)
,(0w53852,0w3610)
,(0w22908,0w48618)
,(0w12364,0w10064)
,(0w6658,0w47178)
,(0w22199,0w41277)
,(0w15964,0w3403)
,(0w15748,0w39456)
,(0w55290,0w17989)
,(0w48002,0w38017)
,(0w32879,0w49921)
,(0w15927,0w30728)
,(0w52925,0w49886)
,(0w64406,0w63040)
,(0w34707,0w3417)
,(0w19569,0w37525)
,(0w52157,0w36080)
,(0w52540,0w12511)
,(0w46733,0w55352)
,(0w55254,0w29586)
,(0w55479,0w839)
,(0w54893,0w33432)
,(0w18558,0w3017)
,(0w35577,0w62554)
,(0w42158,0w5433)
,(0w53957,0w40910)
,(0w55202,0w60814)
,(0w36648,0w4955)
,(0w7534,0w1098)
,(0w11019,0w32628)
,(0w24701,0w21174)
,(0w63148,0w48629)
,(0w857,0w26546)
,(0w15589,0w36876)
,(0w41813,0w13285)
,(0w52773,0w38110)
,(0w12528,0w43366)
,(0w31955,0w19573)
,(0w5382,0w52209)
,(0w27988,0w19214)
,(0w34831,0w54019)
,(0w19350,0w64498)
,(0w135,0w25910)
,(0w54088,0w13035)
,(0w28579,0w52737)
,(0w53455,0w27883)
,(0w36526,0w20016)
,(0w34042,0w63213)
,(0w19275,0w10924)
,(0w28513,0w22646)
,(0w63887,0w2321)
,(0w28930,0w44885)
,(0w3324,0w56140)
,(0w6752,0w7289)
,(0w57834,0w63510)
,(0w9959,0w36501)
,(0w50497,0w29019)
,(0w64911,0w25241)
,(0w61218,0w37219)
,(0w11891,0w61808)
,(0w21342,0w44694)
,(0w41523,0w47626)
,(0w14485,0w40984)
,(0w28900,0w20490)
,(0w27127,0w4407)
,(0w30492,0w54260)
,(0w39531,0w1519)
,(0w58877,0w62020)
,(0w36926,0w52867)
,(0w35041,0w45013)
,(0w56103,0w32371)
,(0w56670,0w38590)
,(0w29473,0w1602)
,(0w20769,0w23924)
,(0w62065,0w3800)
,(0w2219,0w51397)
,(0w25970,0w35176)
,(0w44927,0w3971)
,(0w58225,0w12687)
,(0w45143,0w22288)
,(0w11004,0w45654)
,(0w39002,0w51830)
,(0w58345,0w54256)
,(0w27816,0w63994)
,(0w49290,0w23529)
,(0w41642,0w37817)
,(0w53413,0w62838)
,(0w55196,0w39096)
,(0w64330,0w12058)
,(0w2835,0w47056)
,(0w47854,0w11546)
,(0w29752,0w39927)
,(0w5796,0w47262)
,(0w24512,0w375)
,(0w53522,0w32765)
,(0w59621,0w30432)
,(0w52892,0w52594)
,(0w19363,0w62949)
,(0w18562,0w25234)
,(0w52049,0w30788)
,(0w519,0w25866)
,(0w47518,0w22290)
,(0w10463,0w42937)
,(0w35972,0w35026)
,(0w38332,0w25090)
,(0w4582,0w3410)
,(0w48319,0w51347)
,(0w6067,0w47445)
,(0w51257,0w42125)
,(0w58168,0w47339)
,(0w46398,0w18120)
,(0w19199,0w59403)
,(0w44686,0w12613)
,(0w59045,0w17323)
,(0w37201,0w62071)
,(0w10698,0w61956)
,(0w55827,0w27887)
,(0w57676,0w31764)
,(0w48873,0w60675)
,(0w23458,0w63906)
,(0w44691,0w30109)
,(0w64943,0w51247)
,(0w56488,0w10721)
,(0w57846,0w29148)
,(0w56231,0w15974)
,(0w45076,0w18157)
,(0w11919,0w47084)
,(0w15461,0w38459)
,(0w6985,0w9017)
,(0w11981,0w23105)
,(0w10730,0w22687)
,(0w30869,0w53264)
,(0w4190,0w25508)
,(0w12946,0w29240)
,(0w19705,0w9907)
,(0w47458,0w43847)
,(0w30131,0w774)
,(0w17387,0w3482)
,(0w53148,0w42349)
,(0w5033,0w42357)
,(0w2319,0w30207)
,(0w39798,0w39067)
,(0w15227,0w24769)
,(0w20557,0w60069)
,(0w35913,0w56140)
,(0w39928,0w44187)
,(0w27641,0w2569)
,(0w18342,0w3270)
,(0w58744,0w39532)
,(0w15014,0w8139)
,(0w58964,0w54111)
,(0w11945,0w62478)
,(0w19129,0w64067)
,(0w30089,0w11332)
,(0w41469,0w55223)
,(0w43666,0w39498)
,(0w64809,0w18726)
,(0w52847,0w13622)
,(0w55976,0w35855)
,(0w62103,0w37474)
,(0w8788,0w47893)
,(0w28877,0w33264)
,(0w49146,0w32995)
,(0w26378,0w14188)
,(0w61266,0w48017)
,(0w37733,0w29731)
,(0w222,0w13502)
,(0w11733,0w53424)
,(0w8078,0w28266)
,(0w39759,0w10605)
,(0w34833,0w13488)
,(0w26966,0w18090)
,(0w3756,0w32852)
,(0w37749,0w42146)
,(0w37955,0w7043)
,(0w22763,0w11632)
,(0w36101,0w20284)
,(0w22228,0w58682)
,(0w25743,0w4536)
,(0w23460,0w17641)
,(0w34966,0w59486)
,(0w19818,0w63111)
,(0w8638,0w24290)
,(0w44204,0w60228)
,(0w11565,0w62560)
,(0w51346,0w52642)
,(0w54432,0w50849)
,(0w41943,0w22112)
,(0w40589,0w43369)
,(0w4975,0w25073)
,(0w36432,0w28659)
,(0w7059,0w53525)
,(0w11884,0w44619)
,(0w56697,0w36747)
,(0w13980,0w35654)
,(0w47685,0w58580)
,(0w10695,0w30472)
,(0w11832,0w14995)
,(0w54064,0w8592)
,(0w57998,0w53680)
,(0w10673,0w55372)
,(0w47976,0w43919)
,(0w64568,0w340)
,(0w32715,0w31196)
,(0w7893,0w23462)
,(0w16755,0w21680)
,(0w51374,0w28309)
,(0w8901,0w64061)
,(0w59676,0w55679)
,(0w57162,0w62944)
,(0w45772,0w60456)
,(0w10819,0w43692)
,(0w39662,0w46062)
,(0w57391,0w34184)
,(0w38828,0w42250)
,(0w32309,0w39994)
,(0w48543,0w2841)
,(0w59220,0w46964)
,(0w51051,0w62951)
,(0w48480,0w22808)
,(0w63370,0w28386)
,(0w53383,0w29113)
,(0w58090,0w60697)
,(0w8637,0w46155)
,(0w45585,0w33413)
,(0w40266,0w26715)
,(0w37238,0w16521)
,(0w2587,0w11206)
,(0w60961,0w3614)
,(0w46458,0w41801)
,(0w51173,0w57737)
,(0w48525,0w10054)
,(0w58676,0w2560)
,(0w59015,0w45762)
,(0w28214,0w19021)
,(0w43752,0w39752)
,(0w10696,0w52470)
,(0w9209,0w65310)
,(0w54547,0w63788)
,(0w40574,0w60800)
,(0w31001,0w16262)
,(0w42525,0w16998)
,(0w29546,0w37478)
,(0w23679,0w23001)
,(0w61339,0w50666)
,(0w55511,0w18828)
,(0w45522,0w28766)
,(0w20930,0w23287)
,(0w57532,0w8419)
,(0w37472,0w9723)
,(0w28876,0w11912)
,(0w39111,0w50032)
,(0w10500,0w38043)
,(0w56153,0w39563)
,(0w47910,0w3213)
,(0w3889,0w48449)
,(0w26789,0w3456)
,(0w54626,0w26489)
,(0w54068,0w33952)
,(0w29231,0w19552)
,(0w10425,0w22321)
,(0w54852,0w54558)
,(0w44287,0w55679)
,(0w53465,0w19309)
,(0w25050,0w37821)
,(0w18476,0w20434)
,(0w21093,0w15109)
,(0w27676,0w57222)
,(0w8271,0w59716)
,(0w54502,0w31212)
,(0w15366,0w10066)
,(0w24413,0w49688)
,(0w21578,0w47524)
,(0w53827,0w16040)
,(0w48521,0w23176)
,(0w52308,0w31460)
,(0w51078,0w32324)
,(0w21226,0w42596)
,(0w17040,0w20595)
,(0w18481,0w14365)
,(0w24127,0w8602)
,(0w23172,0w41609)
,(0w57390,0w20806)
,(0w174,0w31497)
,(0w925,0w64627)
,(0w36275,0w41176)
,(0w41600,0w61933)
,(0w34334,0w17081)
,(0w48237,0w15257)
,(0w57127,0w33335)
,(0w55383,0w12583)
,(0w20113,0w20120)
,(0w8917,0w49020)
,(0w48636,0w16626)
,(0w39844,0w28844)
,(0w16141,0w43865)
,(0w20564,0w51290)
,(0w21846,0w18776)
,(0w53116,0w39979)
,(0w58268,0w11178)
,(0w27109,0w13109)
,(0w61595,0w33218)
,(0w48512,0w48085)
,(0w14439,0w26660)
,(0w20092,0w20517)
,(0w20318,0w58266)
,(0w26506,0w41101)
,(0w17455,0w16680)
,(0w733,0w53757)
,(0w58432,0w45936)
,(0w24491,0w51289)
,(0w35299,0w54195)
,(0w3814,0w38372)
,(0w14698,0w27963)
,(0w45390,0w28592)
,(0w13416,0w38336)
,(0w18678,0w6661)
,(0w438,0w45431)
,(0w10812,0w60268)
,(0w53449,0w31276)
,(0w27439,0w8819)
,(0w57224,0w605)
,(0w48276,0w23659)
,(0w60323,0w51593)
,(0w34717,0w8559)
,(0w204,0w65343)
,(0w46312,0w30358)
,(0w33022,0w44084)
,(0w63720,0w57210)
,(0w49767,0w41388)
,(0w13378,0w54468)
,(0w24230,0w44563)
,(0w7014,0w40781)
,(0w37571,0w60256)
,(0w5266,0w58320)
,(0w41357,0w50863)
,(0w40338,0w15101)
,(0w20922,0w31420)
,(0w64135,0w3802)
,(0w17964,0w1801)
,(0w38091,0w54565)
,(0w28542,0w48357)
,(0w14760,0w19544)
,(0w411,0w30768)
,(0w55645,0w18956)
,(0w9774,0w56323)
,(0w17063,0w56293)
,(0w40282,0w710)
,(0w36674,0w35377)
,(0w42508,0w63460)
,(0w219,0w29743)
,(0w2235,0w52410)
,(0w8318,0w23413)
,(0w58593,0w39566)
,(0w45808,0w31850)
,(0w49670,0w51748)
,(0w59247,0w63576)
,(0w24772,0w687)
,(0w5444,0w25458)
,(0w42075,0w51037)
,(0w10506,0w65496)
,(0w46246,0w58540)
,(0w37532,0w2196)
,(0w34156,0w40178)
,(0w6477,0w5289)
,(0w11523,0w62654)
,(0w46572,0w33432)
,(0w37128,0w3191)
,(0w59320,0w37775)
,(0w62417,0w8059)
,(0w10864,0w25123)
,(0w49242,0w57667)
,(0w4219,0w8793)
,(0w53098,0w64490)
,(0w32780,0w43833)
,(0w19729,0w36664)
,(0w9366,0w2575)
,(0w22291,0w57243)
,(0w49313,0w33173)
,(0w24967,0w56264)
,(0w49338,0w8529)
,(0w61104,0w50352)
,(0w34741,0w40551)
,(0w2835,0w52245)
,(0w62959,0w54610)
,(0w50343,0w33441)
,(0w13061,0w60262)
,(0w32491,0w65287)
,(0w11836,0w5957)
,(0w33378,0w20790)
,(0w58170,0w42107)
,(0w2774,0w23742)
,(0w25585,0w10492)
,(0w14314,0w36937)
,(0w14630,0w17795)
,(0w49512,0w19130)
,(0w5182,0w9016)
,(0w21018,0w44071)
,(0w38375,0w29601)
,(0w116,0w59751)
,(0w24402,0w50892)
,(0w62992,0w18946)
,(0w42515,0w54587)
,(0w10600,0w28773)
,(0w26965,0w48472)
,(0w2651,0w38644)
,(0w5393,0w351)
,(0w16799,0w34444)
,(0w56053,0w3492)
,(0w47958,0w16291)
,(0w22820,0w60725)
,(0w53838,0w34883)
,(0w44078,0w58299)
];
